Merge pull request #1003 from douglas-raillard-arm/dr/doc_fix_broken_link
authordanh-arm <[email protected]>
Wed, 28 Jun 2017 12:47:57 +0000 (13:47 +0100)
committerGitHub <[email protected]>
Wed, 28 Jun 2017 12:47:57 +0000 (13:47 +0100)
Fix broken link in documentation


Trivial merge